Controlled Model Exploration
نویسندگان
چکیده
We provide a detailed analysis of very weak fragments of modal logic. Our fragments lack connectives that introduce nondeterminism and they feature restrictions on the modal operators, which may lead to substantial reductions in complexity. Our main result is a general game-based characterization of the expressive power of our fragments over the class of finite structures.
منابع مشابه
Using Continuum Robots for Force-Controlled Semi Autonomous Organ Exploration and Registration
To perform semi-automated surgical tasks or to assign virtual fixtures for telemanipulated surgical procedures, accurate correspondence between preoperative and intraoperative organ geometry is required. To overcome organ deformation and shift relative to pre-operative images, this paper proposes using force-controlled exploration to update organ geometry using a deformable registration of a pr...
متن کاملModel-Based Exploration in Continuous State Spaces
Modern reinforcement learning algorithms effectively exploit experience data sampled from an unknown controlled dynamical system to compute a good control policy, but to obtain the necessary data they typically rely on naive exploration mechansisms or human domain knowledge. Approaches that first learn a model offer improved exploration in finite problems, but discrete model representations do ...
متن کاملExperimental and Simulation - Assisted Feasibility Study of Gas Injection to Increase Oil Recovery Using a Combination of Semi-VAPEX and GAGD Techniques
Gas injection into heavy oil reservoirs could result in high ultimate recovery of oil. Experimental studies showed that an application of a combined technology of Gas Assisted Gravity Drainage (GAGD) and Vapor Extraction (VAPEX) could increase final oil recovery of a candidate viscous oil reservoir. In this paper the results of laboratory investigation are presented, including Pressure-Volu...
متن کاملReconnaissance exploration of potential geothermal sites in Kerman province, using Curie depth calculations
In this paper an indirect method is presented to detect potential geothermal sites in Kerman province, southeast Iran. Geothermal heat flux is one of the main parameters to be investigated in geothermal exploration programs. However, few direct heat flux measurements are available for Iran. Given the proved relation between Curie depths and heat flux, magnetic data can be used to calculate the ...
متن کاملAn Integrated Approach to Multi-Robot Exploration of an Unknown Space
This work focuses mainly on the practical aspects of the multi-robot exploration of an unknown space. Each robot is equipped with an RGB-D camera and builds a 3D model of its neighbourhood. The team of robots is controlled by a centralized exploration approach using a 2D polygonal map of the environment. This work follows and extends the Exploration algorithms in a polygonal domain thesis by T....
متن کاملطراحی یک مدل دینامیک برای تدوین سیاست های صنعت گاز ایران با استفاده از رهیافت پویایی شناسی سیستم
This study aims to evaluate the status of Iranian gas industry and to formulate appropriate policies in order to attain the objectives of Iran’s Vision 2025. A dynamic model including exploration, production, consumption and demand sub-systems is designed based on the system dynamics approach and is simulated for the period 2010-2025. In this model, factors affecting natural gas exploration, de...
متن کامل